Nuprl Definition : w-loc 11,40

loc(e) == e.1 
latex



clarification:

w-loc(we) == e.1 
latex


Definitionst.1
FDL editor aliasesw-loc

origin